جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات
1
Approche logique de l'intelligence artificielle Tome 1 : De la logique classique à la programmation logique

Approche logique de l'intelligence artificielle Tome 1 : De la logique classique à la programmation logique

André Thayse
عام:
1993
اللغة:
french
ملف:
DJVU, 2.74 MB
0 / 0
french, 1993
2
Approche logique de l'intelligence artificielle Tome 2 : De la logique modale à la logique des bases de données

Approche logique de l'intelligence artificielle Tome 2 : De la logique modale à la logique des bases de données

André Thayse
عام:
1993
اللغة:
french
ملف:
DJVU, 3.16 MB
0 / 0
french, 1993
3
Approche logique de l'intelligence artificielle Tome 3 : Du traitement de la langue à la logique des systèmes experts

Approche logique de l'intelligence artificielle Tome 3 : Du traitement de la langue à la logique des systèmes experts

André Thayse
عام:
1993
اللغة:
french
ملف:
DJVU, 2.44 MB
0 / 0
french, 1993
4
Approche logique de l'intelligence artificielle Tome 4 : De l'apprentissage artificiel aux frontières de l'IA

Approche logique de l'intelligence artificielle Tome 4 : De l'apprentissage artificiel aux frontières de l'IA

André Thayse
عام:
1993
اللغة:
french
ملف:
DJVU, 2.94 MB
0 / 0
french, 1993
5
Logique : méthodes pour l'intelligence artificielle volume 3

Logique : méthodes pour l'intelligence artificielle volume 3

Paul Gochet, Pascal Gribomont, Andre Thayse
عام:
1970
اللغة:
french
ملف:
DJVU, 3.67 MB
0 / 0
french, 1970
6
Logique. Volume 3, Methodes pour l'intelligence artificielle

Logique. Volume 3, Methodes pour l'intelligence artificielle

Paul Gochet, Pascal Gribomont, Andre Thayse
عام:
2000
اللغة:
french
ملف:
DJVU, 2.63 MB
0 / 0
french, 2000
7
Logique Vol. 3, Méthodes pour l'intelligence artificielle

Logique Vol. 3, Méthodes pour l'intelligence artificielle

Gochet, Paul, Gochet, Paul, Gribomont, Pascal, Thayse, André
عام:
2000
اللغة:
french
ملف:
PDF, 78.09 MB
0 / 5.0
french, 2000
8
Synthesis and Optimization of Programs by Means of P-Functions

Synthesis and Optimization of Programs by Means of P-Functions

Andre Thayse
عام:
1982
اللغة:
english
ملف:
PDF, 3.86 MB
0 / 0
english, 1982
9
Boolean Calculus of Differences

Boolean Calculus of Differences

André Thayse (auth.), André Thayse (eds.)
عام:
1981
اللغة:
english
ملف:
DJVU, 1.06 MB
0 / 0
english, 1981
11
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

Dominique Snyers, André Thayse (auth.)
عام:
1987
اللغة:
english
ملف:
PDF, 2.58 MB
0 / 0
english, 1987
12
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

Dominique Snyers, André Thayse (auth.)
عام:
1987
اللغة:
english
ملف:
DJVU, 1.08 MB
0 / 0
english, 1987
14
Boolean Calculus of Differences

Boolean Calculus of Differences

André Thayse (auth.), André Thayse (eds.)
عام:
1981
اللغة:
english
ملف:
PDF, 2.22 MB
0 / 0
english, 1981